Handling emergency mode switch for component-based systems—An extended report
نویسندگان
چکیده
Component-Based Software Engineering has been introduced as a technique for the development of complex systems. Software complexity can also be reduced by partitioning the system behavior into different modes. Such a multi-mode system is able to change its behavior at runtime by switching between different operational modes. When a multimode system is developed by reusable software components, a crucial issue is how to achieve a seamless composition of multi-mode components and also how to handle mode switch properly. This is the motivation for the Mode Switch Logic (MSL), supporting the development of component-based multi-mode systems by providing mechanisms for mode switch handling. In this report, MSL is extended and adapted to systems with emergency triggering of mode switches that must be handled with minimal delay. We propose an approach, called Immediate Handling with Buffering (IHB), to enable the responsive handling of such an emergency event in the presence of other concurrent non-emergency mode switch events. We present a model checking based verification of the IHB approach, and illustrate its benefits by a small example.
منابع مشابه
Flexible and Efficient Reuse of Multi-mode Components for Building Multi-mode Systems
Software component reuse is deemed as an effective technique for managing the growing software complexity of large systems. Software complexity can also be reduced by partitioning the system behavior into different modes. Such a multi-mode system can change behavior by switching between modes under certain circumstances. Integrating component reuse and the multi-mode approach, we have developed...
متن کاملSecond Order Sliding Mode Observer-Based Control for Uncertain Nonlinear MEMS Optical Switch
This paper studies theuncertain nonlinear dynamics of a MEMS optical switch addressing electrical, mechanical and optical subsystems. Recently, MEMS optical switch has had significant merits in reliability, control voltage requirements and power consumption. However, an inherent weakness in designing control for such systems is unavailability of switch position information at all times due to t...
متن کاملAn extended hesitant group decision-making technique based on the prospect theory for emergency situations
Throughout the present manuscript, we are going to introduce a novel group emergency decision-making technique in which the application of prospect theory explains the psychological behaviour of the decision maker who is affected by the hesitancy and uncertainty of cognition in decision making problems.\Instead of usual aggregation procedure, we implement here a new fusion technique that ...
متن کاملA review on EEG based brain computer interface systems feature extraction methods
The brain – computer interface (BCI) provides a communicational channel between human and machine. Most of these systems are based on brain activities. Brain Computer-Interfacing is a methodology that provides a way for communication with the outside environment using the brain thoughts. The success of this methodology depends on the selection of methods to process the brain signals in each pha...
متن کاملA review on EEG based brain computer interface systems feature extraction methods
The brain – computer interface (BCI) provides a communicational channel between human and machine. Most of these systems are based on brain activities. Brain Computer-Interfacing is a methodology that provides a way for communication with the outside environment using the brain thoughts. The success of this methodology depends on the selection of methods to process the brain signals in each pha...
متن کامل